JÄRVISALO, MATTI: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Empirical hardness of finding optimal Bayesian network structures: algorithm selection and runtime prediction

Malone, Brandon, Kangas, Kustaa, Järvisalo, Matti, Koivisto, Mikko, Myllymäki, Petri

Journal:

Machine Learning

Year:

2018

Language:

english

File:

PDF, 2.87 MB

english, 2018

2

Complexity-sensitive decision procedures for abstract argumentation

Dvořák, Wolfgang, Järvisalo, Matti, Wallner, Johannes Peter, Woltran, Stefan

Journal:

Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 865 KB

english, 2014

3

Weak models of distributed computing, with connections to modal logic

Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni

Journal:

Distributed Computing

Year:

2015

Language:

english

File:

PDF, 765 KB

english, 2015

4

Overview and analysis of the SAT Challenge 2012 solver competition

Balint, Adrian, Belov, Anton, Järvisalo, Matti, Sinz, Carsten

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 2.73 MB

english, 2015

5

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

Berg, Jeremias, Järvisalo, Matti

Journal:

Artificial Intelligence

Year:

2015

Language:

english

File:

PDF, 2.19 MB

english, 2015

6

10.1097/00008571-200002000-00002

Saarikoski, Sirkku, Sata, Fumihiro, Husgafvel-Pursiainen, Kirsti, Rautalahti, Matti, Haukka, Jari, Impivaara, Olli, Jarvisalo, Jorma, Vainio, Harri, Hirvonen, Ari

Journal:

Pharmacogenetics

Year:

2000

Language:

english

File:

PDF, 124 KB

english, 2000

7

Towards transformational creation of novel songs

Toivanen, Jukka M., Järvisalo, Matti, Alm, Olli, Ventura, Dan, Vainio, Martti, Toivonen, Hannu

Journal:

Connection Science

Year:

2018

Language:

english

File:

PDF, 3.39 MB

english, 2018

8

[IEEE 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - Boston, MA (2017.11.6-2017.11.8)] 2017 IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI) - On Computing Generalized Backbones

Previti, Alessandro, Ignatiev, Alexey, Jarvisalo, Matti, Marques-Silva, Joao

Year:

2017

Language:

english

File:

PDF, 430 KB

english, 2017

9

Cautious reasoning in ASP via minimal models and unsatisfiable cores

ALVIANO, MARIO, DODARO, CARMINE, JÄRVISALO, MATTI, MARATEA, MARCO, PREVITI, ALESSANDRO

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 346 KB

english, 2018

10

Serum tumor markers CEA, CA 50, TATI, and NSE in lung cancer screening

Jorma Järvisalo, Matti Hakama, Paul Knekt, Ulf-Håkan Stenman, Aila Leino, Lyly Teppo, Jouni Maatela, Arpo Aromaa

Journal:

Year:

1993

Language:

english

File:

PDF, 632 KB

english, 1993

11

The effect of structural branching on the efficiency of clause learning SAT solving: An experimental study

Matti Järvisalo, Ilkka Niemelä

Journal:

Journal of Algorithms

Year:

2008

Language:

english

File:

PDF, 473 KB

english, 2008

12

Follow-up of asbestosis patients and predictors for radiographic progression

Panu Oksa, Matti S. Huuskonen, Jorma Järvisalo, Matti Klockars, Anders Zitting, Hannu Suoranta, Antti Tossavainen, Kimmo Vattulainen, Pekka Laippala

Journal:

International Archives of Occupational and Environmental Health

Year:

1998

Language:

english

File:

PDF, 248 KB

english, 1998

13

Unrestricted vs restricted cut in a tableau method for Boolean circuits

Matti Järvisalo, Tommi Junttila, Ilkka Niemelä

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2005

Language:

english

File:

PDF, 453 KB

english, 2005

14

Limitations of restricted branching in clause learning

Matti Järvisalo, Tommi Junttila

Journal:

Year:

2009

Language:

english

File:

PDF, 880 KB

english, 2009

15

A novel breeding design to produce genetically protected homogenous fish populations for on-growing

Matti Janhunen, Antti Kause, Esa A Mäntysaari, Harri Vehviläinen, Anne Kettunen Præbel, Otso Järvisalo, Tuija Paananen, Heikki Koskinen

Journal:

Aquaculture Research

Year:

2012

Language:

english

File:

PDF, 695 KB

english, 2012

16

Simulating Circuit-Level Simplifications on CNF

Matti Järvisalo, Armin Biere, Marijn J. H. Heule

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 975 KB

english, 2012

17

Enhanced endothelium-dependent vasodilation in subjects with Proline7 substitution in the signal peptide of neuropeptide Y

Mikko J Järvisalo, Laura Jartti, Matti K Karvonen, Ullamari Pesonen, Markku Koulu, Jukka Marniemi, Niklas Hammar, Jaakko Kaprio, Ulla Paakkunainen, Olli Simell, Olli T Raitakari, Tapani Rönnemaa

Journal:

Atherosclerosis

Year:

2003

Language:

english

File:

PDF, 209 KB

english, 2003

18

Resistance to bacterial infectious diseases in rainbow trout (Oncorhynchus mykiss)

Kilpi, Maaria, Nikoskelainen, Sami, Grannas, Sanna, Nuutila, Jari, Järvisalo, Otso, Kause, Antti, Lilius, Esa-Matti

Journal:

Veterinary Immunology and Immunopathology

Year:

2013

Language:

english

File:

PDF, 1.24 MB

english, 2013

19

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2013 Volume 7962 || Quantified Maximum Satisfiability:

Järvisalo, Matti, Van Gelder, Allen

Year:

2013

Language:

english

File:

PDF, 403 KB

english, 2013

20

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2013 Volume 7962 || Exploiting the Power of mip Solvers in maxsat

Järvisalo, Matti, Van Gelder, Allen

Year:

2013

Language:

english

File:

PDF, 436 KB

english, 2013

21

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2013 Volume 7962 || Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction

Järvisalo, Matti, Van Gelder, Allen

Year:

2013

Language:

english

File:

PDF, 267 KB

english, 2013

22

Costs of being extreme — Do body size deviations from population or sire means decrease vitality in rainbow trout?

Janhunen, Matti, Kause, Antti, Järvisalo, Otso

Journal:

Year:

2012

Language:

english

File:

PDF, 321 KB

english, 2012

23

Testing and debugging techniques for answer set solver development

BRUMMAYER, ROBERT, JÄRVISALO, MATTI

Journal:

Theory and Practice of Logic Programming

Year:

2010

Language:

english

File:

PDF, 290 KB

english, 2010

24

[IEEE 2013 IEEE 13th International Conference on Data Mining Workshops (ICDMW) - TX, USA (2013.12.7-2013.12.10)] 2013 IEEE 13th International Conference on Data Mining Workshops - Optimal Correlation Clustering via MaxSAT

Berg, Jeremias, Jarvisalo, Matti

Year:

2013

Language:

english

File:

PDF, 300 KB

english, 2013

25

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2013 Volume 7962 || MUStICCa: MUS Extraction with Interactive Choice of Candidates

Järvisalo, Matti, Van Gelder, Allen

Year:

2013

Language:

english

File:

PDF, 465 KB

english, 2013

26

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2013 Volume 7962 || SCSat: A Soft Constraint Guided SAT Solver

Järvisalo, Matti, Van Gelder, Allen

Year:

2013

Language:

english

File:

PDF, 219 KB

english, 2013

27

[ACM Press the 2012 ACM symposium - Madeira, Portugal (2012.07.16-2012.07.18)] Proceedings of the 2012 ACM symposium on Principles of distributed computing - PODC '12 - Weak models of distributed computing, with connections to modal logic

Hella, Lauri, Järvisalo, Matti, Kuusisto, Antti, Laurinharju, Juhana, Lempiäinen, Tuomo, Luosto, Kerkko, Suomela, Jukka, Virtema, Jonni

Year:

2012

Language:

english

File:

PDF, 766 KB

english, 2012

28

Cardiovascular Risk Factors in Childhood and Carotid Artery Intima-Media Thickness in Adulthood

Raitakari, Olli T., Juonala, Markus, Kähönen, Mika, Taittonen, Leena, Laitinen, Tomi, Mäki-Torkko, Noora, Järvisalo, Mikko J., Uhari, Matti, Jokinen, Eero, Rönnemaa, Tapani, Åkerblom, Hans K., Viikari

Journal:

JAMA The Journal of the American Medical Association

Year:

2003

Language:

english

File:

PDF, 118 KB

english, 2003

29

Proceedings of the Second US-Finnish Joint Symposium on Occupational Safety and Health: Helsinki, 24 - 26 May 1982 || Preliminary results from a cohort of workers exposed to wollastonite in a Finnish limestone quarry

Matti S Huuskonen, Jorma Järvisalo, Heikki Koskinen, Juha Nickels, Jorma Räsänen and Sisko Asp

Journal:

Scandinavian Journal of Work Environment & Health

Year:

1983

Language:

english

File:

PDF, 1.01 MB

english, 1983

30

Serum Angiotensin-Converting Enzyme and Lysosomal Enzymes in Tobacco Workers

Huuskonen, Matti S., Järvisalo, Jorma, Koskinen, Heikki, Kivistö, Helena

Journal:

Year:

1986

Language:

english

File:

PDF, 897 KB

english, 1986

31

Increased carotid intima-media thickness in men born in east Finland: a twin study of the effects of birthplace and migration to Sweden on subclinical atherosclerosis

Jartti, Laura, Raitakari, Olli T, Kaprio, Jaakko, Järvisalo, Mikko J, Toikka, Jyri O, Marniemi, Jukka, Hammar, Niklas, Luotolahti, Matti, Koskenvuo, Markku, Rönnemaa, Tapani

Journal:

Annals of Medicine

Year:

2002

Language:

english

File:

PDF, 393 KB

english, 2002

32

Separating OR, SUM, and XOR circuits

Find, Magnus, Göös, Mika, Järvisalo, Matti, Kaski, Petteri, Koivisto, Mikko, Korhonen, Janne H.

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 382 KB

english, 2016

33

Extended ASP Tableaux and rule redundancy in normal logic programs

JÄRVISALO, MATTI, OIKARINEN, EMILIA

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 341 KB

english, 2008

34

Synchronous counting and computational algorithm design

Dolev, Danny, Heljanko, Keijo, Järvisalo, Matti, Korhonen, Janne H., Lenzen, Christoph, Rybicki, Joel, Suomela, Jukka, Wieringa, Siert

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 740 KB

english, 2016

35

[IEEE 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Vietri sul Mare, Italy (2015.11.9-2015.11.11)] 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI) - Re-using Auxiliary Variables for MaxSAT Preprocessing

Berg, Jeremias, Saikko, Paul, Jarvisalo, Matti

Year:

2015

Language:

english

File:

PDF, 280 KB

english, 2015

36

[IEEE 2014 IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI) - Limassol, Cyprus (2014.11.10-2014.11.12)] 2014 IEEE 26th International Conference on Tools with Artificial Intelligence - SAT-Based Approaches to Treewidth Computation: An Evaluation

Berg, Jeremias, Jarvisalo, Matti

Year:

2014

Language:

english

File:

PDF, 768 KB

english, 2014

37

A constraint optimization approach to causal discovery from subsampled time series data

Hyttinen, Antti, Plis, Sergey, Järvisalo, Matti, Eberhardt, Frederick, Danks, David

Journal:

International Journal of Approximate Reasoning

Year:

2017

Language:

english

File:

PDF, 1.99 MB

english, 2017

38

Tumour Markers and Screening for Gastrointestinal Cancer: A Follow up Study in Finland

Hakama, Matti, Stenman, Ulf-Hakan, Knekt, Paul, Järvisalo, Jorma, Leino, Aila, Hakulinen, Timo, Maatela, Jouni, Aromaa, Arpo

Journal:

Journal of Medical Screening

Year:

1994

Language:

english

File:

PDF, 740 KB

english, 1994

39

Genetics of Microenvironmental Sensitivity of Body Weight in Rainbow Trout (Oncorhynchus mykiss) Selected for Improved Growth

Janhunen, Matti, Kause, Antti, Vehviläinen, Harri, Järvisalo, Otso, Moore, Stephen

Journal:

Year:

2012

Language:

english

File:

PDF, 153 KB

english, 2012

40

[ACM Press the 33rd Annual ACM Symposium - Pau, France (2018.04.09-2018.04.13)] Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 - A preference-based approach to backbone computation with application to argumentation

Previti, Alessandro, Järvisalo, Matti

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

41

The International SAT Solver Competitions

Järvisalo, Matti, Le Berre, Daniel, Roussel, Olivier, Simon, Laurent

Journal:

Year:

2012

Language:

english

File:

PDF, 119 KB

english, 2012

42

Discovering causal graphs with cycles and latent confounders: An exact branch-and-bound approach

Rantanen, Kari, Hyttinen, Antti, Järvisalo, Matti

Journal:

International Journal of Approximate Reasoning

Year:

2019

Language:

english

File:

PDF, 1.38 MB

english, 2019

43

[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Centrality Heuristics for Exact Model Counting

Bliem, Bernhard, Jarvisalo, Matti

Year:

2019

Language:

english

File:

PDF, 5.44 MB

english, 2019